#define DUMMY 42
